Merge "TitleWidget: Upstream generic page icons from VE"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Sep 2017 16:34:23 +0000 (16:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Sep 2017 16:34:23 +0000 (16:34 +0000)
resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less

index 2d35418..3632a42 100644 (file)
@@ -9,6 +9,8 @@
 .mw-widget-titleWidget-menu {
        .mw-widget-titleOptionWidget {
                line-height: normal;
+               padding-top: 0.5em;
+               padding-bottom: 0.5em;
 
                &-description {
                        color: #72777d;